perm filename CHRON[1,JMC]64 blob
sn#809734 filedate 1986-02-06 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00029 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00003 00002
C00005 00003 FALL QUARTER 1979
C00008 00004 WINTER QUARTER 1980
C00013 00005 SPRING QUARTER 1980
C00018 00006 SUMMER QUARTER l980
C00022 00007 FALL QUARTER 1980
C00025 00008 WINTER QUARTER 1981
C00028 00009 SPRING QUARTER 1981
C00030 00010 SUMMER QUARTER 1981
C00032 00011 FALL QUARTER 1981
C00035 00012 WINTER QUARTER 1982
C00039 00013 SPRING QUARTER 1982
C00042 00014 SUMMER QUARTER 1982
C00045 00015 FALL QURTER 1982
C00047 00016 WINTER QUARTER 1983
C00057 00017 SPRING QUARTER 1983
C00066 00018 SUMMER QUARTER 1983
C00071 00019 FALL QUARTER 1983
C00077 00020
C00078 00021 WINTER QUARTER 1984
C00082 00022 SPRING QUARTER 1984
C00085 00023 SUMMER QUARTER 1984
C00093 00024 FALL QUARTER 1984
C00109 00025 WINTER QUARTER 1985
C00117 00026 SPRING QUARTER 1985
C00128 00027 SUMMER QUARTER 1985
C00147 00028 FALL QUARTER 1985
C00157 00029 WINTER QUARTER 1986
C00164 ENDMK
C⊗;
AAAI American Assn for Artificial Intelligence
ACM Association for Computing Machinery
AMPS
ATP
BBS The Behavioral and Brain Sciences
CASBS Center,Advanced Studies Behavioral Sciences
CCS Committee of Concerned Scientists
IFIP IInternation Federation for Information Processing
ICCP International Conference on Collective Phenomena
III Information Internation Incorporated
SE2 Scientists and Engineers for Secure Energy
FALL QUARTER 1979
1101F79 AI Ctr. Technical Note Abstracts, SRI International
1101W79 Scott Kim, grad student
ll09W79 Academy Council on Foreign Policy. Salt II, NATO
ll16W79 Prof. Herbert Teager, Pattern Recogntion problems in AI
1201W79 Jackson, Philip. MS thesis, UCSC
1201W79 John Carr, letter from Xian, China re Chinese laboratory
1205F79 Dialnet Project + Paul Stoft, Hewlett Packard
1205F79 Lifschitz, re Dr. Grigorii Mints
1206F79 Larsen, Cecilia, Request for IBM version of LISP Program
1206F79 MIT Press, LISP 1.5 PROGRAMMER'S MANUAL.
12l7F79 ICCP, 4th. Organizing committee, letter to Joel Lebowitz
1218F79 Sperry Univac - re copyright materials
1218F79 Zh. Atanasov, Poland, Polish Academy of Sciences
12l8F79 IBM, Watson Research Lab. air ticket
1218F79 Michael Intriligator, UCLA, Abstract for Marschak Seminar
1219F79 J. Raviv, "Computer, Man and Society"
1220F79 R.C.T.Lee, National Tsing Hua U., re Dr. Sheu enrolling at Stanford
1220F79 Firdman, considerable correspondence
WINTER QUARTER 1980
0101W80 Schanberg article
0101W80 Technology and Society, Computer Technology opportunities
0100W80 Preserving Computer-related Source Materials
0110W80 Firdman
01l8W80 Dr. Alick Elithorn,Royal Free Hospital, London, NATO Symposium
0118W80 Indiana Univ. CS Dept., re expense voucher
0122W80 Computer use, Stan. U.Advisory Com. on Computer Use
0123W80 "Formalizing Ockham' Razor", J. Marschak Colloquium, UCLA
0124W80 Schanberg's article, JMC letter to NY TIMES
0130S80 ACM l979 Conference Tapes. Information Cassettes, Inc.
0206W80 B. Randell, invitation to AI Seminar Newcastle upon Tyne
0201W80 Prof. P. Beckmann, U. of Colorado, re liquid hydrogen
0212W80 Liu Zhong-fu, Harbin Inst. of Technology, Declining visit there
0211W80 Financing research in electronics, letter to "Forum"
0413W81 Webber and Nilsson, Permission to publish McCarthy. U. of Pennsylvania.
0214W80 Control of superluminal channel, Henry Stapp, Lawrence Lab
0225W80 CCS, visa application, title, vita for Soviet meeting.
0300W80 American Academy of Arts and Sciences, March l980
0306W80 Cartwright "error", letter and paper from Takeshi Hayashi, Kyushu U.
0310W80 Schanberg's article, letter from L. R. Abramson
0310W80 Doug Murray, U.S.-China Program, re Harbin Institute invitation
0312W80 Harold Deakins, Illinois Power, Decatur. Tape for 60 Minutes
0319W80 Metzger, H. P., THE COERCIVE UTOPIANS:THEIR HIDDEN AGENDA
0319W80 Metzger, H. P., BOVERNMENT FUNDED ACTIVISM:HIDING BBEHIND THE PUBLIC INTEREST
0320W80 Pereira, Luis Moniz Prof. Logic Programming
SPRING QUARTER 1980
0401S80 Syllabuus for Qualifying Exam in AI, Spring l980
0400S80 SE2, Status Update, February l980
0400S80 Solution to Branching Factor.., Judea Pearl,UCLA
0400S80 Learning Control of Production Systems, Abstract, Stolfo, Columbia U.
0402S80 NASA Software Research/Technology Workshop Abstracts
0417S80 James Craig, EE grad student studying in AI with JMC
0428S80 Machine Intelligence Workshop, l0th. Michie LE1
0501S8 SE2, Reprint from NUCLEONICS WEEK on reprocessing.
0509S80 ASPEN, Agenda - "Coping with U.S. Petroleum Supply Interruptions"0512S80
0512S80 Blattner, M., re NSF support of new project
0515S80 Aspen Institute, Wye meeting, May l980, Chauncey Starr
0519S80 ASPEN, Conclusions of workshop on Coping with U.S. Petroleum Supply.....
0500S80 SE2, Status Report May l980
0525S80 CCS, Firdman
0528S80 Boden letter. "The Case for Cognitive Biology"
0528S80 Research interests, Stanford faculty
0514S80 BBS. Article title to be BELIEFS, MACHINES, AND THEORIES.
0601S80 Black Tuesday, June l980
0605S80 Kahn, Robert. Request from T. Binford, access to ARPA VAX systems
0609S80 James Solinsky, LaJolla Institute Workshop invitation refused.
0623S80 Natural Language. Prof. Haugeland. MRHUG
0623S80 SE2 meeting Stanford. McCarthy speech reported.
0624S80 Song, Thais parody
0626S80 Legal Reason, Artifice of,John Kelly
0626S80 Friends of the Earth. Soft Energy path. Lovins.
0630S80 Walter Kiechel. Computer library
0630S80 Doszkocs and Rapp, Computer library
SUMMER QUARTER l980
0701E80 Haugeland, John. Weak Supervenience
0701E80 SUN Display Cluster, A Data-Disk Replacement
0701E80 Institute for Policy Studies, Anti-Technology
0702E80 Pearcey T., Caulfield Institute of Tech., Australia
0715E80 GIST Draft Manual
0716E80 Fr. Neil Hurley, SJ., Article by Teilhard de Chardin, Noosphere
0720E81 Murphy, George, Technology Licensing. Theft Protection, Passwords.
0722E80 Balzer, & Goldman.USC/ISI, Principles of Good Software Specifica.....
0722E80 AI Conference, Aug. l980. Title of speech. PROGRA.xgp[1,jra]
0730E80 Schnitzer, Kenneth, SE2, nuclear waste
073lE80 Dana Scott, LISP
0805E80 AAAI Editorial Board meeting, Aug. 20, l980
0829E80 Professor Kazuaki Iwata, Kobe University
0827E80 Hideyuki Takahashi
0901E80 Report on placement of engineering graduates
0901E80 The Plactic Ring, Lascoux and Schutzenberger
0908E80 International Workshop on Program Construction
0909E80 Scherlis, Wm. Paper submitted to POPL.
0917E80 Annual Faculty Report for Academic Year l979-80
0918E80 Michael Benefiel, Foreign Commercial Service, Tokyo. Wanted AI Info
0929E80 Henry, Margaret. Council for International Exchange of Scholars
0930E80 Gannis, Steve. Nuclear energy ad
FALL QUARTER 1980
1001F80 Tomita, Masaru. Potential Stanford student
1003F80 William Massy. Sent CBCL[F75,jmc]
1009F80 Fenaughty, A. L., III, letter re Alan Miller
1015F80 Crawford, F. W., Sigma Xi, thank you letter
1017F80 Swaminathan, K. Advice to Indian student.
1020F80 Zager, David. Advice re professional interests
1020F80 Pournelle, Jerry. America is an Undeveloped Country
1027F80 Haimila, Mervi. Telgram from Finland re Asset
1027F80 Gamble, Evan. Potential Stanford student
1030F80 Sigma Xi talk tape, Donald Snow, BYU
1024F80 P. Cheeseman, Australia
1101F80 Tie-cheng Wang.Academia Sinica. Referred to Nilsson. Chinese student.
1107F80 Five Year Outlook Report, National Academy of Sciences. Metzger.
1111F80 Elihu Gerson, Huxley quotation
1112F80 Nils Nilsson, Chinese student. Tie Cheng Wang
1113F80 MIT Press. Taylor, R. H.
1117F81 Stanford Symposium on Office Automation. Robert Landau.
1203F80 Brent Arnold, Henry Firdman (see Firdman envelope, shelfw)
1203F80 Data work send abroad. Database work
1206F80 Dennis Hamilton. Matl referred to D. Knuth.
1223F80 Subhas Chandra, University of South Pacific, Fiji
1229F80 Guenther Goerz. Germany. Erlangen
WINTER QUARTER 1981
0101W81 Reseda
0101W81 Steve Heims sents book review by Freeman Dyson. Von Neumann and Wiener
0102W81 Dennis Hamilton, letters and papers
0116W81 Fidelity Electronics. Chess Challenger part
0116W81 American Association for Advancement of Science, elected member,McCarthy
0116W81 SONY, Typecorder. new product
0202W81 Conquest of Outer Space, G.I. Petrov, Francis Kane. Soviet exploration.
0205∨81 Kasahara, Nippon Electric Co. NEC
0206W81 Michael Kelly
0313W81 DARPA, SEL, Robert Dutton, export of information, Richard Reynolds
0317W81 Habermann, Carnegie-Mellon. Distinguished Lecture Series
0327W81 LISP, Franz et peopinp Timing Project, s-1 NIL Project, Elisp
0331W81 Robert Trappl, Austria. Cybernetics.
SPRING QUARTER 1981
0401S81 Clara Torda
0415S81 MIT Retirement Plan for Staff Members, Variable Fund Annuity
0416S81 Mandeville
0417S81 NSF, DARPA, Workshop on Logic Programming for Intelligent Systems
Logicon
0421S81 Verkshop II, Sigsoft July l980. Neuman at SRI
0501S81 Ovshinsky, glass semiconductor
0501S81 Verification Workshop Attendance List
0511S81 Pereira, Luis, Lisbon visit
057S81 Perlis, Donald, re position in department. University of Rochester
0609S81 Robinson, Alan, letter re LOGLISP code and documentation
0615S81 Thomas, R., Laboratoire de Langues, Marseille
SUMMER QUARTER 1981
0601E81 Buchberger, Dr. B., Johannes Kepler Universitat Linz
0706E81 Danicic, I. University College Wales, re Lisp 1.5
0709E81 Greenberger, Martin, re Xerox machine
0724E81 Enikeev, A., Russian asking for to study with John at Stanford
0725E81 Sharma, Dr. B. K., India, re Indian student, Diego Fernandes
0728E81 Edozien, J., St. John's student re position in AI - paper included
0801E81 List of participants in Workshop of Logic Programming for Intelligent
Systems, Long Beach
0805E81 E.J. Neuhold, IFIP. Resigning from WG 2.2.
0821E81 David Curran, IJCAI paper
Teknowledge, Malicia
0826E81 Dimick, Brad
0901E81 John Nordin, Conference, Center for Theology and Natural Sciences, AI
Conference, Berkeley, January 1982
0908S81 Kuroda, IBM Japan, invitation to symposium, (Yamada)
0914E81 Shapiro, Stuart C., State University of New York at Buffalo
0921E81 Conference on Disorder and Order
0923E81 Spirulina, algae, food
0923E81 Clark, Keith. Paper on numerical integration, Negation as Failure
FALL QUARTER 1981
1023F81 Bayard Rustin, Advisory Council of Youth for Energy Independence
1023W81 American Academy of Arts and Sciences House, Boston
1027F81 Hammet, Paula, Australia
1029F81 Low-power Television. MIT research.
1105F81 R. Gunzenhauser, S and P Problem
1105F81 Yung-jen Hsu, Chinese student interested in graduate program
1111F81 Bentley, letter re research job
1116F81 Jacques Cohen, re Colmerauer
1117F81 Bossu and Siegel, Marseilles researchers
1117F81 Krause proposal, NSF
1119F81 Belovari, Gabor, Hungary, Kent State. Referred to Ursula Maydell.
1128F81 Kahn, Gary, application for research position
1203F81 Hayes-Roth, Barbara re position in Dept. Has vita
1204F81 Beeson proposal comments, NSF
1205F81 Guzman, Adolfo with address for Harold V. McIntosh
1209F81 Ambroziak, Jacek, Poland, student asking for summer research
1210F81 Chandrasekaran, B., India,letter to Edward Teller referring to JMC
Second letter
1214F81 Graevenitz, Alexander, article on anti-nuclear movement in U.S.
1216F81 Waltz, David. Requesting review of article for Communications of the ACM
1217F81 Murray, Bruce. Profile of Marvin Minsky in New Yorker magazine
1221F81 Order form from University of Rochester, October 1981
1220F81 Slobodan Jaukovic, invitation to AI meeting in Dubrovnik, Yugoslavia.
WINTER QUARTER 1982
0101W82 Marconi Fellowship, Lowell Wood, Aspen
0101W82 Harold Gilliam, article
0103W82 Wada,Eiiti Letter of recommendation for Norihisa Suzuki
0104W82 Greenspan, Steven, State University of New York at Buffalo
0104W82 Narayanan, A., University of Exeter. Ascribing Mental Predicates to
Computers
0119W82 Marshall Yovits, write chapter for Advances in Computers
0119W82 Luis Cesariny Calafate, Biologist, Portugal
0120W82 Joppinen from Finland, Exchange visitor
0123W82 Natasa Bozovic, application, Yugoslavia
0130W82 Meng Lee, application, Taiwan
0131W82 Stanford University News Service, News release on Russian visitors.
restrictions, university research, Roth, Lieberman, Umnov.
0131W82 Umnov application, visitin: professor
0201W82 Golub, Sandra Forsythe Memorial Fund
0201W82 Chang Fuu Chen, application for job
0209W82 Bernard Meltzer letter
2nd letter on Feb. l3
3rd letter on March 13
4th letter on June 29
0210W82 Jean Lucien Gloor, Nuclear Research, application
0215W82 Martin Ringle, article for Cognition and Brain Theory
0219W82 Erik Gilbert thesis progress report
0226W82 Edward Teller, Marconi Fellowship, Lowell Wood
0226W82 Carl Jansson, University of Stockholm, job as lecturer, information
processing
0301W82 David Eller, 764 Live Oak, Menlo Park. Pressey. Paper on nurture of genius.
0301W82 American Academy of Arts and sciences. Herbert Simon. Creativity
0301W82 IFIP, Meeting of WG 2.2. E.J. Neuhold. University of Stuttgart.
0305W82 Rothlein for recommendation for Rohit Parikh, City University of New York
0305W82 Lisp Conference. Martin Griss.
0310S82 Letter from H. Stanton (Bradford Books) re Haugland book.
0311W82 Lindsay Barker. Darling Downs. Re visit.
0317W82 Mark Mills and San Diego Gas and Electric,and letter to Los Angeles Times
0318S82 Steven Mock, Dept. of the Army, re Binford research proposal.
0319W82 Lars Kahn of Uppsala University. Opinion of paper on fuzzy.
0322W82 Cognitive Systems Laboratory. MEASA Gaschnig
0322W82 Culbertson, James, San Luis Obispo, on "Publicly Testable Consciousness"
0329∨82 Gabriel, Richard. Letter of recommendation.
0331W8s Maria DA Re, Milan. Requesting admission to Department.
SPRING QUARTER 1982
0401S82 Swedish Artificial Intelligence Society. Meeting April 1982.
find comtexomas Siolek, Comtex Scientific Corp. Research-database and microfiche
0407S82 from Albert Ferrando on self reference. San Rafael.
0412S82 Henry Kyburg, Univ. of Rochester, re Conference on Cognitive Curricula.
0420S82 Maria Simi, Univ. of Pisa. Re three wise men puzzle.
0504S82 Floyd Bloom, National Academy of Sciences. Five year report on
science and technology
0505S82 Six Year Faculty Plan. Letter Golub to Wessells.
0510S82 Univ. of London Engineering Exam.
0506S82 Lars Kahn. Swedish Board for Technical Devel. Consultant Agreement.
0525S82 Center for Theology and National Sciences, Berkeley, Bob Russell
0527S82 ATP Prize, Automatic Theorem Proving, Martin Davis and Jack Minker
0528S82 Inquiry about G. Agin from W. H. Freeman and Co.
0601S82 Delphi studies. letter from Prof. Rainer Kuhlen. U. of Konstanz.
0601S82 Richard Louv, San Diego, Book on change in U.S.
0604S82 visiting students, Delft Univ. Prof. Verbraeck and W.L. van der Poel
0605S82 Minutes of W.G. 2.2 Meeting in Garmisch, June 5-8,1982.
0607S82 John Miller, Trinity College. Siam meeting.
0624S82 Peter Szeredi, Prolog and Lisp, Imperial College, Dec-10 interpreter
SZEREDI INTERPRETER
0624S82 Peter Szeredi, re: introspection, prolog.
0630S82 National Geographic
SUMMER QUARTER 1982
0701E82 Association for Automated Reasoning, AAR
0701E82 Gerald Lieberman, Federal export regulations
0712E82 Kenneth Clark, letter declining visitor appointment
0720E82 Wm. Lott, Arizona. Counsel about study and college entrance.
0721E82 John Dunn, Florida. Inquiry about freelance work for ROTARIAN
0726E82 Herbert Simon, paper for ARTIFICIAL INTELLIGENCE
0801S82 CADE mailing list
0801E82 France, Minister of Education, job announcement
0802E82 Bobrow, Reviews of ARTIFICIAL INTELLIGENCE Journal.
0804E82 Comtex, Phoebe Huang's inquiry about reports issued by MIT.
0811E82 Gilman, Benjamin, mail interruption to Soviet Union
0826E82 Kolata, Gina, SCIENCE article, How Can Computers Get Common Sense? AI
0909E82 van Heeckeren van der Schoot. Inquiry on robotics. To Binford.
0915E82 Interview on inventions. Susan Gunther
0927E82 Edwin Pednault, representational homomorphism
0928E82 Roger Vogelsang, computers and common sense
0927E82 Ralph Lewis, computers and common sense
0927E82 Kursunoglu, Behram. Interdisciplinary Study on AI.
"Workshop on Biological Dimensions of AI"
0930E82 IFIP meeting. Venice, Mar. 1-5, 1983.
0930E82 Computers and Common Sense article in SCIENCE, Sept. 1982
FALL QURTER 1982
1002F82 M. L. Ginsberg, Brasenose College, Oxford. Job inquiry.
1003F82 Paul Rickey, publishing problems
1005F82 Kursunoglu. Interdisciplinary Study on AI.
1006F82 Lori Barnett, Digital Equipment Corp. Signatures for conf. collage.
1007F82 S.J.Kline,"Why the Sky is not Falling: Entropy, World Views,etc."
1008F82 Dale Johnson, Inquiry about LISP history. Stoyan referred.
1006F82 Comtex, subscription and info, Stanford AI memos
1011F82 Harold Fethe, Alza. "Models limits suggest reflexivity in nature"
1020F82 Mallory Selfridge, U.of CT. Question on Child program.
1018F82 John at St. Judes, Dublin, Ireland.
1108F82 Robert Kowalski. Thank you note for letter of recommendation
1111F82 Scott Palmer, ICP. ICP Interview.
1112F82 Roger Ressmeyer. Photographs. Prints attached.
1126F82 S. Dedijer, Univ. of Lund. Review Req.
1130F82 Faultfinder program (no author listed).
1201F82 H. Stoyan. Review req.
1207F82 K. Clark. Reimb. request.
1209F82 Henry Stanton, Bradford BooksMIT. JMC Collected works.
1220F82 Michael Morgan, Addison-Wesley. Stoyan book on LISP.
1222F82 Anthony Ralston. Request for article for Abacus.
1229F82 SPCA MX (POLITICAL FAKE)
WINTER QUARTER 1983
0106W83 Zhuang Xinhua. Resume
0107W83 Sun-ki Chai. LET BY NEED
0107W83 Campbell, John. Req. for contr. to Prolog.
0110W83 Mandel, Steve. UCSC AI course July 25-29.
0114W83 Chin-Chyuan Chen, Natl. Cheng-Kung Univ. RE: CIRCUMSCRIPTION
RE: NON-MONOTONIC
0117W83 Goguen. Background for C1 Seminar.
0117W83 Cruise, A.M. Hipparcos; Space-Age Astrometry. (Nature, vol.298.)
0119W83 Greenstadt, John. Industrial Lectureship. Copy of Golub's letter.
0119W83 Greenstadt, John. Industry Professorship. Course description.
0124W83 Greenstadt, John. Copy of Course description. Industrial lectureship.
0125W83 Report of the Advisory Committee on Coomputer Science and Computing.
0131W83 Kinnucan, Paul. Artificial Intelligence: Making Computers Smarter
AI AND MILITARY
0131W83 Baciocco, Albert J. Artificial Intelligence and C↑3I. AI AND MILITARY.
0131W83 The Good Soldier. Jack London? CRACKPOT;CRANK
0131W83 Hilts, Phil. Interview Transcript.
0131W83 Sidney Hook. Copy of letter by Leo Cherne re "Yellow Rain"
0201W83 Lifting the Curtain on Afghanistan's Horror. from WSJ 1/24/83.
0201W83 "Technological change isn't as fast as you might think". Campus Observer.
0203W83 WARPLAN Problem Solver
0216W83 D. Koller, Hebrew Univ. of Jerusalem. Request for recommendation for
S. Rosenschein.
0301W83 Drazovich, McCune & Payne. Artificial Intelligence: An Emerging
Military Technology. AI&DS. MILITARY,DEFENSE,AI
0301W83 Computer Professionals for Social Responsibility
0303W83 San Jose Mercury News article 3/3. "Artificial Heart Work called
unlikely at Stanford." HEART
0303W83 Douglas Gasner, Psychology Today. Memo. of Agreement/Mental Qualities
0304W83 Stuart J.D. Schwartzstein. Statement on Yellow Rain (Chemical &
Toxic Weapons use).
0305W83 Minutes of IFFP Working Group 2.2, Venice Italy, March 1 - 5, 1983.
0306W83 Article on Mosher dismissal (no date on article)
0308W83 Cornish, Ames. Multi-leveled Reasoning for Artificial Intelligence. CS226.
0309W83 Gerald Jonas. New Yorker. Strugatsky review.
0316W83 Campus Report article "Taksar telss how Soviets control profs visiting US"
0323W83 C.H. Max Freedman. Copy of his column quoting your letter to
NY Times Magazine.
SPRING QUARTER 1983
0407S83 Mark Todorovich resume (copy to Lowell Wood 4/14)
0414S83 "Artificial Hearts: unrealistic promises" Article in Campus report.
(re: BERNSTEIN)
0419S83 R.C.T. Lee. Invitation to be distinguised lecturer.
0421S83 Artificial Intelligence applied to C↑3I. Brown, David and H. Goodman.
0425S83 Gurba, Krysztof. Jagiellonian University, Krakow. Naturalness in AI.
0429S83 Don E. Gordon. Re: talk at Battelle conference. His article Army Mag.
0504S83 Bruce Buchanan. Introduction to the Memo Series of the Stanford
Artificial Intelligence Lboratory.
0506S83 R.C.T.Lee. Distinguished lecturer. Expenses allowed.
0509S83 J.E. Pournelle. Copy of letter to Bugliarello re Marconi Fellowship.
0514S83 History of Computer:Timesharing Origins. MIT Research Progam on
on Communications Policy.
0515S83 Judea Pearl. Chpt. 8.5, latest version
0516S83 Ithiel de Sola Pool. Thank you for participating in time-sharing session.
0518S83 Letter: Petition to Investigate the Hoover Institution.Re: HOOVER.HOOK
0519S83 Bracewell, R.N. The Discrete Hartley Transform
0523S83 "Fair Rules for High Tech Race", Japan Times. re: JAPAN
0525S83 Draft proposal for a conference and white paper on "Artificial Intelligence
and the Future of America" by Patrick Gunkel.
0531S83 Minutes of WG2.2 (Venice)
0531S83 Tom Gannon. Preliminary Alpha+Omega Program Plan. Digital.
0531S83 Info on 1982 AI Qual
0531S83 J.E. Pournelle. Marconi Intl. Fellowship nomination.
0531S83 8th IBM Symposium on Mathematical Foundations of Computer Science.
Program and various abstracts. re: JAPAN
0602S83 Photos taken in Kyoto
0602S83 LISP vs. PROLOG
0602S83 University of Tokyo Computer Center
0602S83 Alphonse Juilland. Hoover petition.
0602S83 Prophecy for the 20th Centure. Asahi Evening News.
0602S83 A Master Key for the RSA Public-key Cryptosystem. Kenji Koyama.
0607S83 Goto, Shigeki. Some Anomalies in Negation as Failure. (PROLOG)
0607S83 Heinz Pagels, NYAS. Article for Annals.
Also attached: transcript of NYAS talk April 83 and cover letter of
9/2 sent with completed paper (Some Expert Systems Need Common Sense).
0607S83 Shigeki Goto. Some Anomalies in Negation as Failure
0610S83 Wu Yunzeng. Visit to US in next year.
0614S83 NCB Distinguished Speaker Programme. SOUVENIR
0615S83 Conversation with Taiwan's Premier Sun. Asian Wall Street Journal
0616S83 See, Hiow Tong. Mr. S and Mr. P problem.
0620S83 Paulson, Dennis. Questions about nuclear war.
0620S83 J. Andrew Freeman. What I want to do this Summer.
0621S83 Stanford Daily. Faculty debate on weapons research... RE: DEFENSE
0626S83 G. Gorz. Manuscript of LISP text in German.
0627S83 J.D. Ullman. Stanford Supercomputer Research Project.
0627S83 Outline of Research and Development Plans for Fifth Generation
Computer Systems. ICOT. April 1983.
0627S83 Monochrome Data Display Units. Tatung. re: TAIWAN.
0627S83 Singapore in Brief. 1982.
0627S83 Roster, Computer Science Chairmen Seminar. RE: NAMES. RE: IBM
0629S83 Don Caughey. Hoover question disregards social justice. HOOVER
0630S83 June 1983 REDUCE Newsletter
SUMMER QUARTER 1983
0701E83 Bibel, W. Bibliography.
0705E83 Woody Bledsoe. Instructions for AMS Contemporary Mathematics Series.
0706E83 Wei-hsing Wang. Taiwan photos.
0711E83 DARPA to Delevop Techniques for Computer `Intelligence'.Aviation Week
and Space Technology.
0712E83 D. Caughey. Academic Freedom... Stanford Daily. RE: HOOVER, FOOLS
0716@83 Bynum, Terrell W. Chess paper.
0728E83 J. Servan-Schreiber, Centre Mondial. Electronic Library Project.
0806E83 Cheng-San Wu. Natl. Cheng-Kung Univ. Taiwan.
0811E83 letter from Herbert Halbrecht.AAAI paper prize.
0812E83 CAMP-LINZ Working group
0812E83 D.V. and G.V. Chudnovsky Laws of composition of Backlund transformations
and the universal form of completely integrable systems in dimensions
two and three.
0812E83 Einstein, Albert. Lens+Like Action of a Star by the Deviation of
Light in the Gravitational Field. SCIENCE, Vol. 84, No. 2188, Dec. 1936.
0812E83 Solar Bacterial Biomass Farm for Space Vehicles. H. Tributsch. SPACE
0812E83 Algal Bioregenerative Systems. R.L. Miller, C.H. Ward. SPACE
0812E83 Sidney Hook. The Response of a Humanist. From Free Inquiry magazine.
0812E83 Period -doubling route to chaos shows universality. PHYSICS TODAY 3/81.
0812E83 Blum, Robert L., Clinical Decision Making Aboard the Starship Enterprise.
0818E83 Scott Fahlman, CMU. Common Lisp Reference Manual. COMMON LISP
0825E83 University Centers for Rational Alternatives, Inc. Draft proposal
of the research Project and Educational Outreach on the Intellectual
Educational and Political Implications of the Campus Turmoil of the
0826E83 Brian Smith. Definition of the 3-LISP processor in MACLISP.
0826E83 Narinder Singh and Gordon Foyster. VLSI 3-LISP.
0914E83 Dr. A. Toni Cohen. "amb"
0916E83 John Leyerle, Canadian Inst. for Advanced Research. Reiter.
0918E83 Matt Ginsberg. Nov. visit plus rambling on logic.
0920E83 Lee A. Segel, Weizmann Inst. Recommendation for Ehud Shapiro.
0920E83 Wolfgang Bibel
0920E83 Alphonse Juilland. Presidential Library. HOOVER
0921E83 Thinking Machines (company) MINSKY
0927E83 Dr. Alice ter Meulen. January visit. C.V.
0930E83 John Leyerle. More on Reiter recommendation
FALL QUARTER 1983
1003F83 Alfred Meyer. Psychology Today article, "Little thoughts of Thinking
Machines"
1006F83 Recommendation for Charles Restivo, resume attached
1010F83 Ian Mason. Undecidability of the Metatheory of the Classical
Propositional Calculus. Stanford Philosophy Dept. 10/10/83.
1011F83 Vladimir Lifschitz. CV
1011F83 Glenn Campbell. Hoover. Reagan Library comments
1011F83 Yorick Wilks. July 1984 meeting of Amer. Assn. for Computational
Linguistics.
1013F83 Senate Agenda. 10/13/83
1014F83 NY Academy of Science. Copyright Transfer Agreement for
"Some Expert Systems Need Common Sense"
1015F83 Minutes.Possible Annual Reveiw of Artificial Intelligence and Letter
from William Kaufmann,editor of Annual Reveiws.
1026F83 Glenn Campbell. Analysis of Center for Public Affair/Reagan Library.
1027F83 Senate Agenda 10/27/83.
1027F83 Lee Segel, Weizmann Inst. Request for recommendation, Ehud Shapiro.
1031F83 Announcement/Call for Papers. 3nd International Conference on AI and
Information-Control Systems of Robots.
1101F83 Lynn Scarlet. REASON. Fifth Generation review.
1104F83 Bruce Buchanan. Comtex
1109F83 Clark Mollenhoff. The Atanasoff Story--A Beacon for Truth, Standards,
and Dedicated Scholarship.
1111F83 "Dietary Carcinogens and Anticarcinogens", Bruce N. Ames. Science, Vol. 221.
1116F83 Bruce Buchanan. Proposal for an Academic Data Service.
1121F83 Lynn Scarlett, Reason. Publication Contract for review of The Fifth
Generation.
1123F83 H. J. Zoffer. Univ. of Pittsburgh. Pople reference request.
1125F83 Dennis Paulson. Edited version of answers to his questions on nuclear war.
1128F83 Gordon Novak, Univ. of Texas, Austin. Doyle reference request.
1201F83 Randall Davis. Letter accompanying AIM 665, filed in librar.
1201F83 Strategic Computing: New Generation Computing Technology: A Strategic
Plan for its Development and Application to Critical Problems in Defense
RE: DARPA
1201F83 Unlearning has a stabilizing effect in collective memories, Hopfield,
Feinstein, Palmer.
The Function of Dream Sleep, Crick & Mitchison
Neural Networks and Physical Systems with Emergent Collective
Computational Abilities., Hopfield
1201F83 Ph. Roussel. Completeness of First Order Query Languages for
Relational Data Bases: a Semantical and Syntactical Characterization.
1201F83 Dietary Carcinogens and Anticarcinogens, Bruce Ames, Science vol. 221.
1201F83 Stoyan. Generische Funktionen und Daten-gesteurte Programmierung.
1201F83 J.A. Robinson. Logic Programming Research Center. Journal of Logic
Programming.
1205F83 Copy of letter from J. Minker to W. Bibel. re: MINC
1206F83 Bledsoe, ATP Prize Committee
1208F83 W. Richard Stark, Univ. of South Florida. Request for reference.
1212F83 Copy of Minsky proposal for SNATCH from Gwen Bell.
1219F83 M.N. Manougian. Re: Recommend. for W.R. Stark.
1231F83 M. Griffiths LISH/DEC 83/384. Un Projet Pilote de Bibliotheque
Electronique. CENTRE MONDIAL
1231F83 Asst. CVs. Martin Kay,Barbara Grosz, Robert C. Moore, Raymond Perrault,
Stanley Rosenschein,Brian C. Smith.
WINTER QUARTER 1984
0105W84 Kowalski. History of Logic Programming
0106W84 A. Borodin. Request for recommendation for R. Reiter.
0112W84 Senate agenda 1/12/84.
0112W84 Yorick Wilks. Workshop at Lake Como
0116W84 D. Chudnovsky. AFL-CIO advisory group.
0117W84 H.J.Zoffer. Pople recommendation request.
0123W84 P. Bierre. Clairvoyant Systems. Sensory Learning.
0124W84 W. Bledsoe. Re: Recommendation for J. R. Slagle.
0125W84 Copy of lttr. to D. Chudnovsky fr. Dennis Chamot, AFL-CIO.
0126W84 Roxanne St. Claire. Copy of Inference Corp news release.
0131W84 V. Lifschitz. On Non-Monotonic Reasoning
0201W84 Copy of Futures article.The 1984 Global System, Intelligent systems,
development stability and international security.S.Dedijer.
0202W84 Yorick Wilks. EUP Series.
0203W84 Harold C. Sox, Jr., MD. Request for recommendation on Shorliffe.
0208W84 Comtex Agreement, signed by Graeme Keeping
0209W84 O. H. Ibarra, Univ. of Minnesota. Req. for recommendation, J. Slagle.
0213W84 Kay Mills. Copy of her interview piece in LA Times
0214W84 SU News Svc. release on Reagan Library. RE: HOOVER.
0214W84 Stuart Umpleby. ASC. Invitation to Gordon Research Conf. on Cybernetics
0217W84 Vivian Bone, Edinburgh Univ. Press, req. for manuscript, social issues.
0224W84 Barry Soroka. Penquin cartoon.
0224W84 Princeton Univ. Press. Copyright, Automata Studies.
0224W84 Dennis L. Bark, Hoover Inst. U.S. Security and World Peace.
0302W84 Barbara Glynn. High Technology Science Center.
0308W84 Mark Wells. New Mexico State Univ. Req. for rec. for Lifschitz.
0312W84 Stanford Operating Budget guidelines, 1984-85.
0312W84 W. Marek, Univ. of Kentucky. semantics of non-monotonic logic.
0318W84 Veronica Dahl. Univ. of Kentucky. Abstract, Seminar on Logic Grammars.
0319W84 Phoebe Huang. Scientific DataLink/Comtex, royalty.
0324W84 Udelson, Daniel. Recommendation for Michael Brady.
0327W84 NYAS. Sheila Treitler. Galley proofs, panel discussion
0330W84 S. Takasu. Kyoto Univ. Visit 6/25-7/6/84.
SPRING QUARTER 1984
0410S84 Arnold Rosenberg. Re recommendation for James Slagle.
0417S84 Olof Widlund. Re recommendation for James Slagle.
0428S84 Re paper on Cellular Automata from Stephen Wolfram
0502S84 from AI Center, SRI re workshop, asking for $5,000 subsidy
0507S84 New York Times News Service terminating CSD news service
0511S84 Letter from David Probst, Concordia University
0511S84 Letter, Robt. Yantorno re academic discounts for regis at AAAI meetings
0514S84 Letter, Rob Goldblatt re leave at Stanford from Univ. of Auckland
Barwise referral
0516S84 Letter re Weierstrass function
0516S84 letter from Pheobe Huang.Re:termination clause in SAIL contract.
0515S84 Peter Mountain, South Africa, inquiry for job or student aid
0515S84 Prize from Tohoku University
0521S84 letter from C.E.A. Cadarache,re:Marseilles meeting.
0524S84 ITS rates, 1984
0528S84 Journal of Symbolic Computation
0529S84 George Johnson re interview
0530S84 Amelang, homosexuality
0610S84 Jastrow, Garn letters
0612S84 letter from Kurbegovich, crank
0621S84 letter to ACM, re two checks, 1984 and 1985 dues
062lS84 Veronica Dahl asks for travel expense and workshop subsidy from AAAI
0622S84 Letter from James Griesmer.University of California,Davis.Committee
on History and Philosophy of Science.Seminar invitation.
0622S84 Letter from Takayasu Ito.Stanford Visit. Japan Prize.
0625S84 Letters from Chu Chuan-lu, and Ryszard Michalski.
0628S84 letter from John Moore,Science and Technology Opinion proposal.
SUMMER QUARTER 1984
0702E84 letter from Bjorn Berg. robots.
0704E84 letter from Berthold van der Hout.Christiaan Huygens.
0705E84 copy of check sent to Sundial Associates. Casio watch repair.
0709E84 letter from K. Mani Chandy. U. of Texas,Austin. Re:Boyer and Moore.
0711E84 letter from Su-Shing Chen.
0718E84 letter from Bruce Melusen.
0723E84 copies of letters from Gene Golub to Keith Hall, Yoram Moses & William
Burley. Re: outsanding requirements.
0723E84 letter from Lynn Scarlett. Reason book review editor.
0725E84 letter from Irving Wladawsky-Berger.IBM confidentiality agreement.
0726E84 letter from Herbert Halbrecht.AAAI paper prize.
0807E84 letter from K.Mani Chandy.
0807E84 Goad proposal,unfunded.
0808E84 letter from Shigeki Goto.
0810E84 letter from Ed Fredkin, re:Czechoslovakia meeting, Sakharov.
0811E83 letter from Herbert Halbrecht.AAAI paper prize.
0811E84 letter from Veikko Rabtala.
0813E84 letter from Janusz Kowalik,re:workshop.
0814E84 summary National Science Foundation engineering programs.NSF.BOnnie Hale.
0814E84 Manley/Rebhoz petition.Hoover.
0814E84 Theories of Research,table of contents.Maria Nowakowska.
0815E84 draft of Jerry Hobbs'paper, The Logica Notation: Ontological Promiscuity.
Desiderata for a Logical Notation.
0817E84 Michael Griffiths, "Bibliotheque electronique",re:Centre Mondial.
0817E84 Announcement, Special year in Mathematical Logic and Theoretical
Computer Science.Re:Maryland.
0817E84 Marseilles meeting.
0817E84 Personal Consultant, Expert System Development Tools.Texas Instruments.
0817E84 American Council on Science and Health,Fifth Annual Report.
0817E84 John M. Olin Foundation,1983 Annual Report.
0817E84 Curriculum Vitae for Janusz Kowalik.
0817E84 Greg Hager, "Materials and Methodology", re: common sense
0831E84 CHRONOLOG, August 1984.
0910E84 letter from K. Mani Chandy,the University of Texas at Austin,
re Elaine Rich promotion.
re Elaine Rich promotion.
0917E84 letter from Allen L. Brown, from GE Schenectady, NY re: copy of
circumscription paper
0918E84 East West Round Table of NY. Re: John Fox
0918E84 letter from Dr. Dinl H. Eriksson, North Holland, re: jmc's review
of Feigenbaum's book "The Fifth Generation". Also Editorial Bulletin
of FGCS.
0918E84 letter from Dr. Leonard Bolc, Warsaw University, re: invitation to
jmc to write a book about AI.
0919E84 letter from V.S. Subrahmanian, re: request to endorse nomination
of Kowalski an Colmerauer for Turing Award.
0920E84 letter from Jay Buckingham, re:advice how to get started in AI
0920E84 letter from F.J. Corbato, MIT, re: nomination for American Academy.
0920E84 letter from Philip Lemmons, BYTE Journal, re: writing an article
on omputers and society.
0920E84 letter from Harold E. Bamford, NSF, re: proposal evaluation.
0920E84 letter from W. Marek Unive. of Kentucky, re: enclosed "A Natural
Semanticss for Modal Logic over Database and Model-Theoretic
Forcing I.
0920E84 paper, Computers and artificial intelligence, re: Plander.
0920E84 catalog. re: Computing Education Course Catalog, 1984-85,Information
Technology Services.
0921E84 letter from Joel Friedman, Dept of Philosophy, re: invitation to
participate in Hist. and Philo. of Science Series, UC Davis, Tuesday,
Oct 30, 4:00.
0921E84 letter from Maria Nowakowska, re: encl. books and papers.
0921E84 letter from Dan Bobrow, Xerox, re: some questions about AI, deadline
10/31/84.
0921E84 copy of letter to Ms. June D. Parrell, NAVELEX, re: Contract No.
N00039-82-C0250, Modification P00005.
0921E84 letter from S. Takasu, Kyoto Univ., re: manuscript for the proceedings
of the 8th IBM symposium.
0921E84 letter from Griffiths, re: suggesting seminar.
0921E84 letter from Dennis Paulson, Santa Barbara, re: response to questions.
0921E84 re: Bob Moore
0921E84 letter from Jon Barwise, re: CSLI initiators.
0921E84 letter from John Fox, re: talk to Midge Decter about new magazine
0921E84 letter from Morris Pripstein Lawrence Lab, re: Yelena Bonner.
0924E84 letter from Jacques Gualino, Centre Mondial, re: scientific board list
of members.
0924E84 letter from Bamford, NSF, re: proposals
0924E84 letter from Robert H. Halstead, Labooratory for Computer Science, re:
enclosed paper about Multilisp.
0924E84 copy of 1 + 1 = 0: New Math for a New Age, from Science 9/84.
0924E84 brochure, DEST 212 Multi-PS.
0924E84 brochure, Mohonk Mountain House.
0924E84 letter from Suppes, re: enclosed propsal for Advanced Placement
Calculus.
0924E84 Award notice, from Patricia Byers, re: EKL proposal.
FALL QUARTER 1984
1002F84 letter from Donald D. Steiner, Math. Dept. Iowa State Univ.
re: expenses
1002F84 letter (cc) from Dennis Chamot, re: labor, Chudnovsky.
1002F84 letter from Andrzej Szelc, re: his research
1002F84 letter from D.J. Morrison, re: advice for doctoral thesis.
1002F84 letter from Waqar Hasan, re: inquire about Jmc's current research projects.
1002F84 re: Hobbs, Commonsense Summer, Common Sense Summer
1002F84 paper. Yonathan Malachi and Zohar Manna, TABLOG The Deductive-
Tableau Programming Language.
1003F84 paper. Elaine Rich, Default Reasoning as Likelihood Reasoning, Dept. of
Comp.Science, The University of Texas at Austin.
1003F84 paper. Daniel Lehmann, Knowledge, Common Knowledge and related
puzzles, Inst. of Math. and Comp. Sci., Heb. Univ., Jerusalem, Israel.
1003F84 paper. Rohit Parikh, Monotonic and Non-monotonic Logics of Knoweldge,
Dept. of Comp. Sci. Brooklyn College of CUNY.
1003F84 notes. Kreisel--Notes on non-monotonic reasoning.
1003F84 vitae. Charles W. Restivo.
1003F84 letter from Mitchell Brigell, Chicago Council of Scientists, re: AAAI
president
1003F84 letter from J.B. Mooney, Dept. of the Navy, re: invitation to participate
in review panel for Applied Research in AI.
1003F84 proposal. re:CBCL, Gardner.
1003F84 letter from Elmer G. Havens, NSF, re: grant no. DCR-8206565.
1003F84 report from III, re: Computer Integrated Publishing
1003F84 guide. SITN for fall 1984.
1003F84 letter from Mark E. Andersen, SMS, re: Cambridge LISP 68000.
1003F84 letter from Lynn Scarlett, REASON, re: review of Weapong and Hope.
1003F84 letter from K.L. Pothoven, Univ. of South Florida, re: tenure evaluation
for Dr. Stark.
1003F84 letter from Jon Barwise, re: summer school.
1004F84 letter from Francois Lapelerie, Rice University, re: meeting jmc.
1004F84 abstracts. Artificial Intelligence Journal, re: 1. Christoph Walther,
A Mechanical solution f Schubert's steamroller by many-sorted resolution.
2. Naive reasoning on physiics versus qualitative reasoning on systems.
3. Wong, A.K.C. Wong and David K.Y. Chiu, Probablistic inference system:
an event-covering approach. 4. M.L. Ginsberg, Analyzing incomplete
Information. 5. Stephen Fickas, A problem solving approach to software
Development.
1004F84 letter from Ben T. Williams, re: Dr. Perry Miller as AAAI rep. to
AAMSI.
1011F84 notes. re:Goodwin, international, debate. filed in NOTES (current bus.)
1015F84 Report. A Trip to China, Lipset.
1015F84 Letter from Clara N. Bush, re: noise on campus
1015F84 Letter from Jerry E. Pournelle, re: citizen advisory council
on national space policy.
1005F84 memo from Earl Cilley, re: Comtex AI agreement
1015F84 notes from Beeson panel with Winograd and Ornstein on Survival
and prosperity.
1015F84 paper. CPSR. Strategic computing -- An assessment.
1015F84 paper. Halpern, Joseph Y. and David A. McAllester
Likelihood, probability, and knowledge. IBM.
1015F84 paper. Halpern, Joseph Y. and Boris Trakhtenbrot, The
Semantics of local storage, or what makes the free list free. IBM.
1015F84 paper. Doyle, Jon. What is rational psychology -- Toward a modern
mental philosophy. CMU CS 83 106.
1015F84 paper. Doyle, Jon. Expert Systems without Computers. CMU CS 84 116.
1015F84 paper. Doyle, Jon. Admissible state semantics for representational
systems. CMU CS 83 124.
1015F84 paper. Doyle, Jon. The ins and outs of reason maintenance. CMU CS 83 126.
1015F84 paper. Doyle, Jon. A society of mind. CMU CS 83 127.
1015F84 paper. Doyle, Jon. Methdological simplicity in expert system construction.
CMU CS 83 114
1015F84 paper. Doyle, Jon. What should AI want from the supercomputer. CMU CS 83.
1015F84 paper. Doyle, Jon. The foundation of psychology. CMU CS 82 149.
1005F84 abstract. Charniak, Eugene. Motivation analysis, abductive
unification, and non-monotonic equality.
1015F84 paper. Lamport, Leslie. What if means for a concurrent program to
satisfy a specification: why no one has specified priority.
1015F84 paper. Nilsson, M. The world's shortest prolog interpreter.
1015F84 paper. Rich, Elaine. User modeling via streotypes.
1015F84 paper. Rich, Elaine A. A high-level interpretation algorithm
for points and ranges.
1015F84 paper. Rich, Elaine. Research at the university of texas.
1015F84 paper. Rich, Elaine. Users are individauls: indivisualizing user
models.
1015F84 paper. Rich, Elaine. Natural language interfaces.
1015F84 paper. Rich, Elaine. The gradual expansion of AI.
1015F84 paper. Cline, A.K. and Elaine Rich. Building and evaluating
abstract data types.
1015F84 SEKI-PROJEKT. SEKI memos (abstracts)
1015F84 paper. Rosenschein, Stan and Fernando Pereira. The flow of information
in physical systems: an alternative to the "representational" paradigm
for AI.
1015F84 paper. Kuck, Conrad. Non-monotonic learning automata. re: crank.
1024F84 letter from Stuart C. Shapiro, Ency. of AI, re: participation in
AI Encyc.
1024F84 letter from Bernard A. Galler, re: Seminar, Expo. 85, Japan. Proposal
attached.
1024F84 CHRONOLOG, Oct. 1984.
1024F84 document. Policy on Media Coverage for Senate Meetings.
1024F84 letter from R.L. Levien, re: LISP IBM PC.
1024F84 Newspaper, re: pre-schoolers reasoning.
1024F84 MICRODISC -- Stanford's microcomputer discount plan.
1101F84 paper. Jon Barwise, The Situation in Logic - Remarks on conditionals.
1101F84 paper. H. Barringer, J.H. Cheng, C.B. Jones - A Logic Covering
Undefinedness in Program Proofs.
1101F84 paper. C.B. Jones, Systematic Program Development
1101F84 paper. F.L. Morris and C.B. Jones, An Early Program Proof by Alan
Turing.
1101F84 letter from Mark Richmond, re: candidates for Chair in Intelligent
Knowledge-Based Systems (IKBS)
1101F84 newsletter. Access to Energy.
1101F84 letter from Clive S. Liston, re: AI letter agreement.
1101F84 brochure. Texas Instruments.
1101F84 brochure. The Center for the Study of Language and Information. CSLI
1101F84 letter from J.F. Traub, Columbia University, re: graduating students
as prospective faculty.
1101F84 letter from Peter Chen, Luisiana State University, re: AAAI Presidenet's
Message as a future paper.
1101F84 travel authorization, CMU, re: trip to France Sept. 17, 1984.
1101F84 letter from Midge Decter, Committee for the Free World, re: getting
together.
1115F84 Review of articles from BYTE
1115F84 Article. Steven J. Frank, Tightly couples multiprocessor
system speeds memory-access times.
1115F84 Memo. From John Linvill,
re: Third annual review of the CIS Nov. 14-15, 1984.
1115F84 Memo. From Louise Peterson, re: Viewgraphs for CIS annual reaview
Nov. 14-15, 1984.
1115F84 Paper. Herbert Stoyan, Programming Styles in AI., Institut for
Mathematical Machines and Dataprocessing, University of Erlangen
1115F84 letter. Lynn Scarlett, REASON, re: Weapons and Hope contract.
1115F84 Thesis proposal, Jeff Glaza, Hierarchical analogical knowledge
representation.
1115F84 paper. Jeff Glaza, Description and discussion of a hierarchical
analogical knowledge representation system (HAKR)
1115F84 paper. Jeff Glaza, Philosophy of the hierarchical analogical knowledge
representation system.
1115F84 Award notice. Contract MDA 903-83C-0188, Amend mod.# P0002, SPO#
711/13793-01-00, Sponsor DARPA.
1115F84 proposal, re: Martin.
1115F84 Academic coucil, agenda, Nov. 8, 1984.
1115F84 letter. Dr. Moonis Ali, re: request for Queue-based Multi-processing LISP
1115F84 paper. BDM Corp. re: CIA.
1115F84 letter, from Joel Friedman, Dept. of Phil., UC Davis. re: dinner table
discussion.
1115F84 letter from Robert Kowalski, Dept. of computing, Univ. of London, re:
short history of early days of logic programming.
1115F84 letter from D.C. Melendez, Lawrence Livermore Lab., re: consulting
arrangement.
1115F84 Minutes of the Academic Council, October 11, 1984.
1115F84 letter from Dennis R. Bahler, re: request for Circumscription paper.
1115F84 letter from Stan Rosenschein, SRI, re: invitation to referee papers.
1115F84 memo from Frank E. Armbruster, re: labor, re: chudnovsky
1219F84 letter from Prof. Leo Ojala, re: request for Model Theory of Knowledge
paper.
1219F84 paper. M.H. van Eden and M.A. Nait Abadallah, Top Down Semantics of
Fair Computation of Logic Programs
1219F84 paper. Robert Kowalski, The Early History Logic Programming
1219F84 S-1 Mark IIB Review, Jeff Broughton
1219F84 letter from Donald Proter, re: participation in Philosophy 326
1219F84 letter from Clara Bush, re: Senate attendance
1219F84 letter from L.A. Belady, re: MCC University Affiliates Program
1219F84 letter (copy) from Pat Byers, re: changes in agreement
121984 letter from Gaston Defferre, re: enclosed photos
1219F84 letter from John A.D. Kelly, re: non-monotonic papers
1219F84 letter from Manfred Kochen, re: Participation in AAAS symposium May 26-31
1219F84 letter from John and Janet Rybak, re: their paper.
1219F84 Senate agenda, Nov. 29, 1984
1219F84 letter from Gordon Bell, re: nondisclosure agreement
1219F84 Semiannual Report, ICASE, Oct. 1, 1983-March 31, 1984, re: partial
differential equations, re: PDE, re: numerical
1219F84 letter from Wu Yungeng, re: visit to Stanford
1219F84 letter from Michael Reinfrank, re: request for Application of
Circumscription
1219F84 paper, Nigel Seel, Computational Cybernetics: A Programme of Research
in AI
1219F84 Stanford Medicine, Fall 1984
1219F84 Publication Contract, REASON
1219F84 paper. John Rybak and Janet Rybak, Venn Diagrams Extended Map Logic
WINTER QUARTER 1985
0115W85 Bulletin of The American Academy of Arts and Sciences, re: Ramo
0115W85 letter from Kochen, re: Advances in Cognitive Science sesssion.
0115W85 letter from Prof. Xiwen Ma, Beijing Institute of Computer re: Cao Zhiqiang
0115W85 letter from Noriyoshi Kuroyanagi, re: thanks
0115W85 letter from Jay M. Tenenbaum, re: AAAI sponsor for National Conference
on Engineering Applications of AI
0115W85 EURALEX bulletin
0115W85 paper. Rohit Parikh, Monotonic and Non-monotonic Logics of Knowledge
0115W85 letter from Prof. B.McA. Sayers, re: Dr. Keith Clark promotion
0115W85 letter from Dr. Anthony E. Trojanowski, BDM Corp. re: check
0115W85 NTIS Abstract Newsletters information.
0115W85 letter from Jan Anderson re attached artiles
0115W85 letter from Haim Gaifman, re: recommendation for Aron Avron
0115W85 letter from S.M. Lipset, re: Reagan and Grenada
0115W85 letter from Gaston Defferre, re: AI colloquium
0115W85 letter from H. Gallaire, re: ECRC, Gallaire
0115W85 Newspaper, Le Provencal
0115W85 pamphlet. LUCID INC. Company Profile
0115W85 paper. B.A. Trakhtenbrot, A Survey of Russian Approaches to Perbor
(Brute-Force Search) Algorithms
0115W85 Call for participation in workshop on coupling symbolic and numerical
computing in expert systems
0115W85 letter from Kathryn Aparicio, California Times re: interview
0115W85 letter from Vladimir Milacic, re: international CAS seminar
0115W85 letter from Lawrence Livermore Lab re: Supplemental Information Sheet
0212W85 letter from Jack Harper, Robot Defense Systems, re: thank you
0212w85 letter from Marc Bergman, IRIAM, re John Kirman
0212W85 article, re: HCN, Elaine Rich
0212W85 letter from Clara Bush, re: noise on campus
0212W85 letter from G. Brewka, re: thesis on nonmonotonic logics
0212W85 letter from Ed Fredkin, re: visitors from USSR
0212W85 letter from Richard Gordon, Silicon Valley Research Group, re:
Conf. on Strategic Computing
0212W85 letter from Steve Tappel, re: reinstatement to Ph.D. program
0212W85 reprts, re: Hoover, Ward Report
0212W85 letter from Glenn Campbell, re: reception
0212W85 letter from Paul C. Martin, re advice on potential nominees
0212W85 memo from George B. Danzig, re: science fiction theme "In Our Image"
0212W85 letter from Ed. Fredkin, re: USSR visitors
0212W85 letter from Christine Gross, re: cataloguing
0212W85 letter and paper from Jean A. Ghandehi, re: "Intelligent Tools and
Human Bondage".
0212W85 proposal. "Expert System Methodologies for Inference and
Explanation Using Temporal and Imprecise Knowledge, PI A.B. Baskin
0212W85 memo from Henry Breitrose, re: high definition television
0212W85 memo from John Hennessy, re: ACIS report
0212W85 BASIS-Bay Area Skeptics Information Sheet
0212W85 letter from Basil Djoanos re: Dungeons and Dragons
0212W85 letter from Michael Reinfrank, re: thanks
0212W85 minutes. Academic Council Nov. 29, 1984
0212W85 letter from Peter, re: enclosed thesis
0212W85 memo from Bart Bernstein and Robert McGinn, re: Winter Quarter VTSS
Forum Meetings.
030785 letter from Richard E. Grady re: nonmonotonic papaer
030785 letter from Don Faust, re: circumscription paper
030785 memo from Don Walker, re: site selection and officer
election for IJCAI-87: results
030785 letter from Juan F. arratia, re: job
030885 letter from Takayasu Ito re Japan Prize
030885 letter re refusenik
030885 list re nonmonotonic conference attendees
030885 paper. re Monadic. Behmann, Heinrich in Gottingen
"Beitrage zur Algebra der Logik, insbesondere zum Entscheidungsproblem".
030885 review by WJ Clancey of J.F. Sowa "Conceptual Structures--Information
processing in mind and machine".
030885 p. 54 of Companion to Concrete Mathematics by Z.A. Melzak. re: Oliver.
030885 Programming Contest Problems
030885 letter from Saad Marrakchi re: post graduate studies
030885 paper. Daniel P. Friedman and Christopher T. Haynes "Constraining
Control", CS Department, Indiana University.
030885 letter from enri de Feraudy, Centre Mondial re: putting common
sense into AI programs
030885 letter from Cliff Jones re: Vienna trip.
030885 paper. Joachim von zur Gathen, Parallel Algorithms for Algebraic
Problems, CS Department, SIAM J. Comput., Vol. 13, No. 4, Nov. 1984.
030885 Report. Perrault, Raymond, C., On the mathematical properties
of Linguistic Theories, CSLI, Stanford, Report No. CSLI-84-18,
December 1984.
030885 Invitation to nominators for the first Inamori prize
030885 minutes. IFIP working group 2.2 meeting at Endicott House
(M.I.T.), June 11-15, 1984
SPRING QUARTER 1985
0517S85 Letter from J.W. Lloyd, re: vacancy in the CS department.
0517S85 letter from IMAC, D. Frau, re: Participation in Engineering in the year
2000.
0517S85 letter from Carolyn Caddes re: biographical profile
0517S85 memo from N.K. Wesselss, re: tenure
0517S85 paper. Metathematical Extensibility for Theorem Verifiers and
Proof-Checkers, Martin Davis and Jacob T. Schwartz
0517S85 letter from Marc Bergman, re: /IRIAM Scientific Advisoers' Board
0517S85 letter from G. Caplain, re:position
0517S85 letter from Sara Baase, re: Reason, dinner, May 17
0517S85 letter from J. Girling, re: competition
0517S85 letter from Janusz S. Kowalik, re: preliminary program of workshop
0517S85 letter from Benjamin W. Daniels, II, re: A theory for the design of
experimental computer program
0517S85 letter from Terrence J. Toohey, re: research monograph in AI.
0517S85 lette from Keith Clark, re: Stanford hiring
0517S85 brochure Area Business Databank
0517S85 brochure Update '85
0517S85 letter (cc) from Phyllis M. Hughes, re: QLISP for Parallel Processors
proposal.
0517S85 paper. Some remarks on the appplications of logic to Computer Science,
Wu Yunzeng, Peking University
0517S85 paper. Some basic assumptions in complexity theory (extended abstract)
Wu Yunzeng, Peking University
0517S85 letter from Simon Ramo, re: comments on JMC comments on paper.
0517S85 letter from J.S. Kowalik, re: AAAI workshop
0517S85 letter from Aaron Sloman, re: room in SU CS for his students.
0517S85 letter from Mary A.R. Carlson, re: noise pollution
0517S85 letter from Darlene Myers Hildebrandt, re: QLAMBDA
0517S85 letter from Cuthbert Hurd, re: nondisclosure agreement
0517S85 letter from R.M. Payne, re: crank
0517S85 paper. From contours to waterfalls: converging constraints in
early vision, Steven W. Zucker, McGill University
0517S85 letter from Pierre Veltz, re: Caplain
0517S85 letter from Yorick Wilks, re: memoranda in cognitive studies
0517S85 letter from Walter R. Mears, re: letter to Mr. Fuller
0517S85 letter from Lyle Wiedeman, re: Time sharing systems.
0517S85 letter from Arel Lucas, re: bookstore of the future
0517S85 paper. A model and an implementation of a logic programming
environment, Henryk Jan Komorowski and Shigeko Omori, Harvard
University.
0517S85 letter from John Mattox, re: speech
0517S85 letter from Joe Halpern, re: call for papers.
0517S85 letter from Dan Campbell, re: circumscription.
0517S85 list of names from Nilsson's files
0517S85 letter from Lynn Scarlett, re: review of Not in Our Genes
0517S85 letter from Clara Bush, re: election returns
0517S85 memo and material from Clara Bush, re: Academic Senate
0517S85 letter from Eugene Dong, re: case of academic misconduct.
0517S85 review of Not in Our Genes, Leontin; review by Bernard D. Davis
0517S85 letter from Derek Partridge, re: CRL New Mexico State University.
0517S85 letter from Derek Partridge, re: CRL New Mexico State University.
0517S85 letter from Charles R. DeCarlo, re: proposal to IBM for joint
venture
0517S85 paper. The situation in logic-II: Conditionals and conditional
information, John Barwise, CSLI (marked copy)
0517S85 paper. Further report on the design of 'Tuili', Lu Ruqian (re:
logic programming expert systems, china)
0517S85 paper. On the preliminary design of Tuili, Lu Ruqian
0517S85 article in Cultura y nacion, Los robots estan entre nosotros
0517S85 brochure. The New York Academy of Sciences
0517S85 letter from Barbara Sargent, re: seeking a Chair for CS UC Davis.
0517S85 proceedings of international conference on fifth generation computer
system 1984, Tokyo, Japan, Nov. 6-9, 1984
0517S85 letter from Ryoji Yanagi, re: position at SU.
0517S85 letter from H.W. Lentra Jr., re: Schroeppel.
0517S85 paper. Intelligent tools: The cornersotne of a new civilization,
Hassan M. Ghandchi.
0517S85 paper. Problems of transition, Dennis Chamot (re: AFL-CIO)
(re: labor)
0517S85 letter from Garo K. Kiremidjian, re: statement of intent
0517S85 letter from John T. Pinkston, re: MCC workshop, 4/22/85
0517S85 paper. Towards a theory of knowledge and ignorance, Joseph
Halpern
0517S85 excerpts of ch. 14 criminal law, re: duels
0517S85 paper. We have been framed, Drew McDermott
0517S85 program. European SIGSAM meeting 1985
0517S85 reprint. Stanford Statistics, Vol. 2
0517S85 CS at Stanford, 1982-1984, prepared by Holly Ullman
0517S85 Stanford University operating budget guidelines 1985-86
0517S85 draft. First draft of preliminary propoal, chudno[f84,jmc]
0517S85 brochure. Harvard CS graduate program.
0517S85 paper. Nonmonotonic reasoning, Michael Genesereth and Nils Nilsson
0517S85 letter from William David Miller, re: request for material
0517S85 letter from Zenon W. Pylyshyn, re: contribution to his book
0517S85 letter from David Sanders, re: recommendation for book on AI.
0517S85 letter from Riccardo Viale, re: Turin conference
0517S85 letter from Pierre Bonzon, re: position
0517S85 list. Berkeley cognitive science reports.
0517S85 letter from Daniel G. Bobrow, re: questionnaire
0517S85 letter from Helman I. Stern, re: position
0517S85 paper (deraft). An Internal Semantics for Modal Logic, Ronald
Fagin and Moshe Y. Vardi
0517S85 Nuclear Energy Statement by California Engineers and Scientists
0517S85 brochure. Quintus
0517S85 paper. An skeleton for expert systems: mexexp 1.0, Vladimir Marik,
Zdenek Zdrahal, and Alfredo Raymundo Mendez :re: Guzman)
0517S85 letter from John Perry, Tom Wasow and Betsy Macken re CSLI proposals
0517S85 memo from Betty Scott, re NSF experiment in On-Line Proposal
Submission this summer
0517S85 memo from Harry Llull, Math Library re participation in a long term
collection development project
0517S85 memo from W.K.H. Panofsky re Hoover
0517S85 letter from Rober Kowalski re hiring for SU CSD
0517S85 draft of JMC biography by Carolyn Caddes
0517S85 proposal review, Robert S. Boyer, Mechanical proving in geometries
0517S85 letter from Moo-Nam Lee, re invitation to Korea
0517S85 letter from Armando Verdiglione re invitation
0517S85 report. Strategic Computing First Annual Report, Feb. 85
0517S85 letter from Halbrecht Associates re openings
0517S85 letter from Leroy M. Bell, III, re attached list of reference documents
0517S85 minutes of the Senate, May 16, 1985
SUMMER QUARTER 1985
0619E85 letter and paper. Lin Fangzhen, A truth value
semantics for nonmonotonic logic
0619E85 letter from Keith Clark re referee for promotion.
0619E85 letter to Brown Alumni Monthly with Elain Rich
0619E85 paper. Moshe Vardi Querying Logical Databases
0619E85 memo from Frank Riddle re University Salary Base
0619E85 curiculum vitae Keith Leonard Clark
0619E85 letter from Ilenan Streinu re Godel like independent sentences
0619E85 call for paper 10th world computer congress
0619E85 paper. Brian Cantwell Smith, Reflection and semantics in LISP
0619E85 letter from Paula J Hammet re common sense
0619E85 paper. Steve Tappel, Some algorithm design methods
0619E85 letter from Richard Uhtenwoldt re attached short notes about theorem
prover
0619E85 memo from Woody Bledsoe re Minutes of committee
0619E85 paper. Fred Landman, Data semantics for attitude reports
0619E85 letter from Prof. B. Trachtenbrot re Mr. Avron.
0619E85 letter from Arnon Avron re attached CV
0619E85 paper and letter. Veronica Dahl, Natural language understanding and logic
programming
0619E85 letter from Helman I. Stern re attached CV
0619E85 letter from N. Chomsky re article in Reason
0619E85 memo from Marianne Sobey, SPO, re NSF final project report
0619E85 booknews from Computer Science
0619E85 brochure re Passau
0619E85 letter from F.J Radermacher re conference in Passau
0619E85 letter from J. Girling re application for competition
0619E85 paper and letter, Lin Fangzhen, A truth value semantics for modal logic
0619E85 letter from Charles Upshaw re sponsored research
0619E85 letter from Petr re Paul Lysenko Ehrlich
0619E85 letter from Riccardo Viale re conference
0619E85 letter from Riccardo Viale re conference
0619E85 letter from E.G.K. Lopez-Escobar re contribution to proceedings
0619E85 memo from Robert S. Englemore, re promotion to senior research associate,
Penny Nii
0619E85 memo from Robert S. Englemore, re promotion to senior research associate,
Peter Fiedland
0619E85 letter from Yuan YunKai re invitation to lecture
0619E85 Socrates Newsletter
0619E85 letter from Ken Kennedy, Rice Univ., re Don Doyle
0619E85 letter from John F. Manely and Ronald A. Rebholz, re Hoover.
0619E85 letter from Lynn Scarlett re Not in Our Genes
0619E85 lettter from Peter Stansky re Senate meeting
0621E85 copy of letter to Serge Lang
0621E85 course description. VTSS 101
0621E85 file called NEWPER[1,GLB] for Gialuigi Bellin
0621E85 letter from K.M. Chandy re enclosed paper with Jay Misra, How
processes learn
0621E85 proposal evaluation, James F. Allen, Temporal world models for problem
solving
0621E85 proposal evaluation, A.B. Baskin, Expert system methodologies for
inference and explanation using temporal and imprecise knowledge
0621E85 letter from Philip Dejean, re crank
0621E85 article by N.David Mermin, Is the moon there when nobody looks? Reality
and the quantum theory
0621E85 report. Annual research report 1984, The department of computer science
and information science, Linkoping University
0715E85 paper. Ronald Fagin and Joseph Y. Halpern, Belief, Awareness, and
limited reasoning: preliminary report, IBM.
0715E85 paper. Joseph Y. Halpern and Ronald Fagin, A formal model of knowledge,
action and communication in distributed systems: preliminary report.
0715E85 paper. Robert Kowalski and Marek Sergot, A logic-base calculus of events,
Dept. of Computing, Imperial College, London.
0715E85 letter from Dr. Garo K. Kiremidjian, re Delfin Systems proposal to CIA.
0715E85 letter from Alan K. Mackworth, re IJCAI award.
0725E85 letter from Manfred Kochen, re AAAS symposium publication.
0725E85 paper. Uwe Hein, A programming language for knowledge engineering applica-
tions.
0725E85 paper. Allen Newell, How to view the computer, CMU.
0725E85 paper. David W. Etherington, Robert E. Mercer and Raymond Reiter, On the
adequacy of predicate circumscription for closed-world reasoning, Dept.
of CS, University of British Columbia.
0725E85 paper. John Case and Carl Smith, Comparison of identification criteria
for machine inductive inference, Theoretical Computer Science 25(1983)
193-220. North-Holland Pub.
0725E85 paper. M.H.Van Emden and J.W. Llloyd, A logical reconstruction of
Prolog II.
0725E85 article. N. David Mermin, Is the moon there when nobody looks? Reality
and the quantum theory.
0725E85 letter from Henning B. Andersen, re request for paper.
0725E85 letter from Yashio Takano, re shiba park, Tokyo interview.
0725E85 letter from Yuri Yarim-Agaev, re invitation to advisory board of Center
for Democracy.
0725E85 letter from Gilbert Harman, re invitation to talk.
0725E85 letter from John, CMU CS Dept. re letter of recommendation.
0731E85 letter from Solomon Feferman, re Julia Robinson`s death.
0731E85 paper. Chuck Williams,Inference, Automated Reasoning
0731E85 paper. D. J. Newman, A simplified version of the fast algorithms of Brent
and Salamin, re: e and pi, π.
0731E85 paper. R.Wm. Gosper, Exploiting regularities in large cellular spaces,
North-Holland.
0731E85 paper. G. Polya, SU, On picture-writing
0731E85 paper. George Bealer, Theories of properties, relations, and propositions,
Reed College.
0821E85 letter. Prof. Hayward R. Alker Jr. request for paper.
0821E85 letter and brochure from Dr. Guy Rabbat re talk Automation `86.
0821E85 letter from Dr. John Self, re AAAI workshop.
0821E85 letter from Lynn Scarlett, re Not in our Genes.
0821E85 letter from Prof. Mack Adams, re visitor status)
0821E85 paper. A.H. Stone, Trees and Power-Sums, Dept. of Mathematics,
University of Rochester.
0821E85 User`s Guide Socrates.
0821E85 Technical Report, J.W. Lloyd and R.W. Topor, A basis for deductive
database systems, Dept. of CS, The University of Melbourne
0821E8 paper. David A. Coz, Gauss and the arithmetic-geometric mean.
0821E85 paper. Jack Minker and Donald Perlis, Computing Protected Circumscription,
University of Maryland.
0821E85 Report. Report of the Senate Committee on the Relation Between the Hoover
Institution and the Stanford Professoriate
0821E85 paper. Patick Gunkel, The 320 major concerns of ideonomy`s 200 divisions.
0821E85 notes. Kenneth R. Blochowiak, re questions about process of discovery.
0821E85 paper. Henson Graves, Lee Blaine and Ruth Manor,
Logic of Contexts, Dept. of Math. and CS,
San Jose State Univ.
0821E85 letter from J.W. Lloyd re visit to Stanford.
0821E85 paper. Yoav Shoham, A first order interval logic, Yale University.
0821E85 paper. Yoav Shoham and Thomas Dean, Temporal notation and causal terminology,
Dept. of Computer Science, Yale University
0821E85 paper. Yoav Shoham, A propositional modal interval logic, Dept. of
Computer Science, Yale University
0821E85 paper. Lawrence J. Henschen, William W. McCune, and Shamin A. Naqvi,
Compiling constraint-checking programs from first-order formulas,
Northwestern University, Evanston, Illinois.
0821E85 paper. Ann v.d.L. Gardner, Law applications.
0821E85 paper. Jack Minker and Donald Perlis, Circumscription: Finitary completeness
results, CS Dept., Univ. of Maryland.
0821E85 letter (copy) from Richard D. Jenks, IBM, re sponsorship for AAAI.
0821E85 brochure. re Japanese literature.
0821E85 brochure. alphabetical list of databases.
0821E85 letter from Ehud Shapiro, Weizmann, re joining SU faculty.
0821E85 paper. Devika Subramanian and Prof. Bruce Buchanan, Syllabus for the
qualifying examination.
0821E85 paper. Jerry Hobbs, Proper names.
0821E85 letter from Robin Dale Hanson, re help.
0821E85 paper. Dana Angluin and Carl H. Smith, Inductive inference: theory and
methods.
0822E85 paper. Terry Winograd, Moving the semantic fulcrum, CSLI Dec. 1984.
0822E85 paper. Peter C. Cheeseman, In defense of probability, SRI, May 1985.
0822E85 letter from Guy Rabbat, invitation keynote speaker.
0822E85 letter from Phillip Ein-dor, re enclosed paper.
0822E85 letter from James Jacobs, re invention.
0822E85 paper. Fumio Mizoguchi, Hayato Ohwada and Yoshinori Katayama,
Looks: Knowledge representation system for designing expert systems
in a logic programming framework.
0822E85 paper. Masaru Kitsuregawa, Hidehiko Tanaka and Tohru Mto-oka,
Architecture and performance of relational algebra machine grace.
0822E85 xeroxed copies re: LISP magazine
0822E85 paper. Masahiko Sato and Takafumi Sakurai,
QUTE: A functional language based on unification.
0822E85 paper. Daniel . Bobrow and Patrick J. Hayes, Artificial Intelligence--
where are we?
0822E85 letter from Cyrus F. Nourani re: enclosed abastract of Equational intensity
initial models, and AI reasoning: An overview.
0822E85 letter from Jon Barwise, re: JSL.
0822E85 letter from J.F. Perrot, re: honorary degree.
0822E85 letter from Daniel P. Friedman, re: enclosed vita.
0822E85 paper. K. Eric Drexler, Molecular machinery and molecular electronic
devices.
0822E85 paper. K. Eric Drexler, Molecular engineering: an approach to the
development of general capabilities for molecular manipulation.
0822E85 SU Senate of academic council, re: hoover.
0822E85 statement. MIT press royalty statement 3/29/85.
0822E85 publication. Knowledge Systems Laboratory, SU Dept. of CS, Dept. of
Medicine.
0822E85 letter from Michael, France, re: bank found your money.
0822E85 letter from Richard, the university of south Florida, re: letter of
reference.
0822E85 letter from Norman Wessells and Gordon Bower,
re: congratulation on IJCAI award.
0822E85 vita. Jean Claude Latombe, re: robotics search.
0822E85 publication. Abstracts of CSLI reports, CSLI, May 1985.
0822E85 newsletter from PERSOFT.
0822E85 paper. Mitsuru Ishizuka, Specific goals for the next five years and the
ten years for knowledge systems.
0822E85 letter from Hilbert Levitz, re: Wolfgang Bibel.
0822E85 Second Riken Symposium on Josephson Electronics, re: Goto.
0822E85 Technical memorandum of ICOT, H. Kitakami et al., Demonstration
of the KAISER system at the ICOT open house in FGCS 84.
0822E85 letter from Solomon Feferman, re Julia Robinson`s death.
0822E85 newsletter from THE WELL.
0822E85 publication, Mary Shelton (McArthur) English, The origin of clan
McArthur.
0822E85 papers. Rota papers lend by Chudnovsky.
0822E85 paper. Tadashi Kanamori and Kenji Horiuchi, Type Inference in Prolog
and its applications, ICOT,December 1984.
0822E85 paper. Tadashi Kanamori and Hiroshi Fujita, Formulation of induction
formulas in verification of Prolog programs, ICOT, December 1984.
0822E85 paper. Tadashi Kanamori and Hirohisa Seki, Verification of Prolog programs
using an extension of execution, ICOT, December 1984.
0825E85 letter from Michael Tobias, re: KQED interview
0826E85 letter from Yoav Shoham, re: enclosed papers.
0826E85 letter from Prof. David Probst, re: presidential address
0826E85 letter from Prof. Gilbert Harman, re: December 2nd visit to Princeton.
0826E85 letter from Bernd Schauer, re: Sender Freies Berlin.
0826E85 letter from Nils Nilsson and Betty Scott re Carolyn Talcott's appointment.
0826E85 letter from Prof. Ephraim Nissan, re: editorial board.
0826E85 letter from Prof. W. Marek, re: common sense.
FALL QUARTER 1985
0905F85 letter from Ephraim Nissan, re:ESRA journal,and call for papers
0906F85 letter from John Self, re: ICAI workshop
0909F85 memo from Luca Cavalli-Sforza, re: genetics references
0913F85 letter from W. Richard Stark, re: photos for Garden of LISP
0913F85 letter from Yuri Gurevich, re:colloquium at University of Michigan
0917F85 letter from Sara Baase, re: Reason Foundation, dinner invitation
0917F85 letter from Gilbert Harman, re: Princeton Talk, Soc. Sec. #
0918F85 letter from Jim Rosse, re: congratulations on award
0930F85 copy of letter from Carolyn Tajnai to Chuck Williams, re:computer forum
1101F85 letter from Jim Brodie, re: advise.
1101F85 letter from T.E. Cheatham, re: enclosed ballot
1101F85 letter from Prof. Hans-J. Schreider, re: Bibel
1101F85 letter from Denise Bedrod, re: enclosed questionnaire
1101F85 Report. The Rand-ABEL Programming Language
1101F85 letter from Stephen R. Graubard, DAEDALUS, re: cassicist and AI
1101F85 letter from Roger L. Wainwrigt, re invitation to be distinguished lecturer
1101F85 letter from Dr. George L. Proctor, re: undergraduate courses in information
and knowledge
1101F85 proposal. S.G. Shanker
1101F85 letter (copy) from Dr. Janusz S. Kowalik, re: AAAI re: numerical
1101F85 letter from Makoto Nagro, re: meeting 10/26/85
1111F85 CV Stanley J. Rosenschein
1111F85 letter from Phyllis O'Neil, re: enclosed IJCAI tape
1111F85 letter from Dr. George L. Proctor, re: undergraduate courses in information
1111F85 IJCAI 1985 transcribed speech
1111F85 The Stanford Connections, Sept. 1985
1111F85 catalog. INSPEC.
1111F85 letter from Christopher Goad, re: robotics faculty position
1111F85 LISP Machine Inc.
1111F85 Newsletter. Scratchpad II. IBM Research Vol.1, no. 1
1111F85 Program Offering. IBM.
1113F85 letter from Michael Reinfrank, re: enclosed survey paper on non-monotonic
reasoning.
1113F85 newspaper clipping, The Tribe, re: Star Wars
1113F85 letter from Carolyn Caddes, re: photos
1113F85 letter from Daniel Bobrow, re: acceptance of manuscript.
1113F85 paper. Timothy McCarthy, Abstraction and Definition in
Semantically Closed Structures.
1113F85 letter from Morgan Kaufmann Publisher, re: submitting papers for the
Proceedings
1113F85 letter from Derek Partridge, re: workshop on the Foundation of AI 2/86.
1113F85 letter from Stephen R. Graubard, DAEdalus, re: AI issue
1113F85 brochure. The Reason Foundation.
1113F85 letter from Yuri Gurevich, re: visit Dec. 3, 1985.
1113F85 Robot Experimenter, Vol.1, no.1, re: LISP for IBM PC
1113F85 price list. Dialog.
1113F85 Chronolog Ad Supplement
1113F85 paper. Axioms for Russell's Theory of Identity of Propositions.
1113F85 brochure. Multiprozessor-Labor, Multiprozessorsystem DIRMU 25.
(DIstributed Reconfigurable MUltiprocessor kit)
1113F85 agreement. MCC Individual Non-Disclosure Agreement
1113F85 publication. Data Express, re: modems
1113F85 ad. Interviewing on campus; electronics engineering opportunities
in the SF Bay Area
1113F85 letter from Herbert Halbrecht, re: Amos Oz
1113F85 letter from Harry Huskey, re: pioneer award.
1113F85 Student Projects for UCSD Pascal System
1113F85 newspaper clipping, re: interview in O Jornal Informaticawith JMC.
1113F85 letter from Wolfgang Bibel, re: enclosed reasoning paper.
1113F85 proceedings of coupling symbolics ad numerical computing in expert
systems, sponsored by AAAI, August 27 - 29, 1985
1113F85 guide. A Scholarly Visitor's Guide to Los Angeles.
1113F85 letter from Tohru Saino, re: enclosed newsletter.
1113F85 pocket guide to DIALOG Version 2, Sep. 1985
1113F85 brochure. PRIZ, re: Tyuugu, Tyngu
1113F85 brochure. Academy of Sciences of the Estonian SSR, re: Tyugu Tyuugu.
1113F85 letter from Arlene Douglass, re: membership in AAAI (card included)
1113F85 letter from Susan Sanford, re: voice of america interview
1113F85 letter from Daniel Bobrow, re: acceptance of Applications of
Circumscription to Formalizing Common Sense Knowledge.
1113F85 letter from AAAI, re: registration for IJCAI 85.
1119F85 letter from Lin Fangzhen, re: attached abstracts.
1119F85 paper. Richard Jeffrey, Judgmental probability and objective
chance (workshop on practical reasoning and planning participants
1211F85 copy of letter to Gibbons from Nilsson re: SDI panel discussion
1211F85 copy of letter to Kennedy from Nilsson re: SDI panel discussion
1211F85 memo from Nilsson re: long-range planning
1211F85 copy of letter to Nilsson from Jay Tanenbaum, re: appointment as
consulting prof.
1211F85 copy of letter to Nilsson from Patrick Hayes, re: appointment as
consulting prof.
1211F85 letter form Jean-Louis Lassez, re: give a talk in the department
and CV
1211F85 letter from John Plummer, re: publicity
1211F85 notice from NSF, re: NSF
1211F85 letter from David Hamilton, re: draft of readership survey
1211F85 Business Week, re: Ershov.
1211F85 Staford Daily, re: Gorbachev invitation
1211F85 paper. Vladimir Lifschitz, Circumscription in the blocks world
1211F85 memo from Betty Scott, re: new patent agreement
1211F85 letter from Fenaughty, re: summary list of anti-takeover actions
1211F85 memo from Nilsson, re: Ehud Shapiro
1211F85 brochure. DIALMAIL, Oct. 1985
1211F85 technical memo DIALOG
1211F85 letter from Yoav Shoshan, re: enclosed paper (draft)
1211F85 memo from Nilsson to Gibbons, re: CSD future plans
1211F85 paper. Fred Dretske\Machines and the mental\University of Wisconsin\
Madison. In APA Proceedings\1985
WINTER QUARTER 1986
0102W86 paper. Ma Xiwen and Guo Wide
0102W86 paper. Ma Xiwen and Guo Wide, W-JS:A modal logic of knowledge,
Computer Science Institute, Peking University, Beijing
0102W86 paper. W. Bibel, On first-order reasoning about knowledge and belief.
February 1984.
0102W86 mailing list, re: Daedalus special issue on AI.
0102W86 letter from F.J. Radermacher, re: conference April 1986, Passau University
0102W86 paper. Harry Mairson, Structure and interpretation of computer
programs
0102W86 letter from Carolyn Caddes, re: book
0102W86 paper and letter, Jan Mycielski, Toward a mathematical theory of memory
0102W86 paper. Jan Mycielski, Can mathematics explain natural intelligence
0102W86 brochure. The Reason foundation, Sixth annual report 1984.
0102W86 paper and letter, Lin Fangzhen, Knowledge and probability: Preliminary
report, 12/20/85
0102W86 report. NASA-ASEE 1983 summer faculty program, Autonomy and the
human element in space
0102W86 letter from V. Guruprasad, re: enclosed Woods
0102W86 letter from Lynn Scarlett, re: attached edited review
0102W86 paper. Sergio Ruiz-Mier and Joseph Talavage, Toward a knowledge-based
network simulation environment, re: applicant
0102W86 newspaper clipping, San Jose Mercury News, Oct. 30, 1985, Los Altos
broker goes on ofensive against too many meddlesome lawyers, by
Bernard Bauer
0102W86 letter from Gosper to Schroppel, re: combinatories
0102W86 resume. Wing-Kwong Caesar Wong
0102W86 paper. Richard Weyrauch, FOL: A mechanizable formulation of logic
0102W86 memo, from Betty Scott, re: research offset 1984/85
0102W86 letter from Maria Klawe, re: a reminder
0102W86 final exam, CS306, Fall 1985
0102W86 letter from Harry D. Huskey, re: Pioneer nominees
0102W86 letter from John H. Boose, re: AAAI workshop
0102W86 brochure, Iwanami Shoten Publishers, Tokyo
0102W86 letter from Claudia Mazzetti, re: Space Station Symposium
0102W86 letter from Derek Partridge, re: abstracts
0102W86 memo, re: Amarel biography
0102W86 brochure, re: schedule, Fachtagung uber Kunstliche Intelligenz
0102W86 letter from Jouko Seppanen, re: LISP textbook in Finnish
0102W86 letter from Stephen R. Graubard, re: AI Daedalus issue
0102W86 proposal. Common LISP Development, to DARPA
0102W86 letter from D.C.Melendez, re: consulting for Lawrence Livermore Lab
0102W86 memo from Shigki Goto, re: Some anomalies in negation as failure,
June 1983
0102W86 letter from Ehud Shapiro, re: invitation to speak
0102W86 letter from John A. Campbell, re: plan for book
0102W86 Consultant agreement, Livermore
0102W86 letter from Peter L. Mott, re: enclosed paper
0205W86 letter from Derek Partridge and infomation re Foundation of AI workshop
0205W86 paper. Manna and Waldinger, Unsolved Problems in the Blocks World
0205W86 letter from A. S. Kolaskar, re: contribution to a book.
0205W86 letter from Andrei P. Ershov, re: christmas letter
0205W86 paper. W. Bibel, Automated Inferencing, in J. Symbolic Computation,
1985 1, 245-260
0205W86 paper. Donald Perlis, On the Consistency of Commonsense Reasoning,
University of Maryland
0205W86 letter from Jennifer Ballemtine, Morgan Kaufmann Publishers, re:
copyright transfer
0205W86 paper. Michael Beeson, On the Concepts of Set, Class, and Data Type
0205W86 letter from Harold Schutt and Alan J. Rowe, re: Forum on AI in
Management
0205W86 letter from Hiroshi Nakagawa, re: visit at SU February 1986
0205W86 letter from Rolf Herken re: contribution of am essay
0205W86 memo from Bernard A. Galler, re: The Summary of the Seminar Transcript
0206W86 paper. Christian M. Hamann, Chronologie der Programmierung des
japanishcen Brettspiels GO - Eine Herausforderung an die Kunstliche
Intelligenz
0206W86 Carolyn Merchant, The Death of Nature--Women, Ecology, and the Scientific
Revolution, chapter 9, Mechanism as Power
0206W86 letter from Lynn Scarlett, re: Not in Our Genes
0206W86 memo from Mary Lou Allen, re: Incentive payment for TVI and local
NCO students, Autumn 1985-86
0206W86 etter from Peter A. Knudsen, re: search for senior level technology
executive
0206W86 publication contract, REASON